overviewControls: Add spacing around workspaces and appGrid

Adjust the origin of the appDisplayBox slightly further downwards and
include spacing around the workspaces and the appGrid.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3278>

diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index c48efffbeee0495f5af055ab8446d0777b615873..91a8be5a2aeac60a5ebf08b1fcafc63843c19312 100644 (file)
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -120,7 +120,7 @@ class ControlsManagerLayout extends Clutter.LayoutManager {
             break;
         case ControlsState.APP_GRID:
             appDisplayBox.set_origin(0,
-                startY + searchHeight + this._spacing + appGridBox.get_height());
+                startY + searchHeight + this._spacing + appGridBox.get_height() + this._spacing);
             break;
         }
 
@@ -128,7 +128,7 @@ class ControlsManagerLayout extends Clutter.LayoutManager {
             height -
             searchHeight - this._spacing -
             appGridBox.get_height() - this._spacing -
-            dashHeight);
+            dashHeight - this._spacing);
 
         return appDisplayBox;
     }